RESULTS

NASA Technical Documents 24

The BITSAVERS.ORG Documents Library 20

Community Audio 19

Flooved 18

The BITSAVERS.ORG Documents Library: Massachusetts Institute of Technology 15

The Bell System Technical Journal (1922-1983) 8

Folkscanomy: A Library of Books 8

The Magazine Rack 8

American Libraries 7

Community Texts 7

FEDLINK - United States Federal Collection 6

The Journal of Research of the National Institute of Standards and Technology 5

National Institute of Standards and Technology Research Library 5

Folkscanomy Mathematics: Books of a Mathematic Nature 4

Community Media 4

University of Illinois Urbana-Champaign 3

bci1 Favorites 2

Zor Favorites 2

Folkscanomy Electronics: Books on Electronics, Circuits and Processors 2

Folkscanomy Science: Books of a Scientific Nature 2

The BITSAVERS.ORG Documents Library 20

Community Audio 19

Flooved 18

The BITSAVERS.ORG Documents Library: Massachusetts Institute of Technology 15

The Bell System Technical Journal (1922-1983) 8

Folkscanomy: A Library of Books 8

The Magazine Rack 8

American Libraries 7

Community Texts 7

FEDLINK - United States Federal Collection 6

The Journal of Research of the National Institute of Standards and Technology 5

National Institute of Standards and Technology Research Library 5

Folkscanomy Mathematics: Books of a Mathematic Nature 4

Community Media 4

University of Illinois Urbana-Champaign 3

bci1 Favorites 2

Zor Favorites 2

Folkscanomy Electronics: Books on Electronics, Circuits and Processors 2

Folkscanomy Science: Books of a Scientific Nature 2

theorems 24

Mathematics 23

THEOREMS 22

theorem 21

Maths 18

geometry 10

Probability 9

Statistics and Probability 9

angle theorems 8

bell system 8

proof 8

system technical 8

Analysis and Calculus 6

Calculus 6

Statistics 6

heuristic 6

ALGORITHMS 5

Definitions and Theorems 5

Integration Theorems 5

Theorems 5

data base 5

euclidean geometry 5

planner 5

problem solving 5

program 5

Geometry 4

THEOREM PROVING 4

circles 4

control structure 4

data 4

logic theory 4

problem solver 4

Algebra 3

DIFFERENTIAL EQUATIONS 3

FUNCTIONS (MATHEMATICS) 3

Groups 3

Inequalities and Limits Theorems 3

Lagrange and Fermat-Euler�s Theorems 3

Logic, Numbers and Set Theory 3

PROBLEM SOLVING 3

Stokes�s Theorem 3

circle geometry 3

complex 3

corollary 3

formula 3

function 3

heuristics 3

lemma 3

problem 3

procedural abstraction 3

procedure 3

processes 3

prove 3

scanning agent 3

substitution 3

tangent theorems 3

technical journal 3

theorem prover 3

triangle theorems 3

Axioms 2

Bayesian Statistics 2

Bayes� Theorem 2

CLASSIFICATIONS 2

Chebyshev�s Inequality 2

Divergence Theorem 2

Elements 2

Euler 2

Events and Sample Spaces 2

Existence theorems 2

FUNCTION SPACE 2

GEOMETRY 2

Graph Colouring 2

Graph Theory 2

Linear Algebra and Geometry 2

MATRICES (MATHEMATICS) 2

Math 2

Math4Teens 2

Networks 2

OPERATORS (MATHEMATICS) 2

Optimization 2

POLYNOMIALS 2

PROGRAM VERIFICATION (COMPUTERS) 2

PROVING 2

Physics 2

Planimetry 2

Quantum Relational Biology 2

Quaternions 2

TARGETS 2

Tauberian Theorems 2

Theorems of Brooks and Vizing 2

Union and Intersection of Events 2

Unizor 2

VECTORS (MATHEMATICS) 2

adept 2

antecedent theorems 2

assertions 2

assigned 2

backtrack control 2

bicomplete categories 2

chord theorems 2

composition series 2

computability of complex biological systems 2

converse theorems 2

defined 2

equations 2

evaluates 2

expression 2

expressions 2

failure 2

failure backs 2

failure propagates 2

fixed point 2

flow chart 2

formulas 2

gerald jay 2

group theory 2

isetq 2

limit theorems 2

limits and colimits 2

lisp 2

logic 2

logic expressions 2

logic theorist 2

logical class 2

memory 2

nil 2

pattern 2

probability 2

procedural 2

procedures 2

proof procedure 2

proof tree 2

proofs 2

property list 2

quantum computers 2

random variable 2

scanning 2

solving 2

status 2

status pnt 2

status rel 2

subordinate trees 2

sufficient condition 2

table 2

theorem proving 2

theory machine 2

thprog 2

type 2

variable 2

working memory 2

yields 2

(M 1

-R)--systems 1

2- and 3- Connected Graphs 1

*L?** as a Hilbert Space** 1*

AC 1

ACCURACY 1

AEROSPACE VEHICLES 1

ALGEBRA 1

ANALOGIES 1

ANTENNAS 1

ASYMPTOTES 1

ATTITUDE (INCLINATION) 1

Abelian category 1

Absorbed dose 1

Administration and Management 1

Algebraic Complexes 1

Algebraic Topology theorems 1

Allocations 1

Analysis 1

Axioma 1

Axioms for Groups 1

BOLTZMANN TRANSPORT EQUATION 1

BOUNDARIES 1

BOUNDARY VALUE PROBLEMS 1

Bayes Estimates 1

Bibliography 1

Borel 1

Borel�Cantelli Lemmas 1

CARBON DIOXIDE LASERS 1

CAUCHY PROBLEM 1

CERTIFICATION 1

CHOLESKY FACTORIZATION 1

CLASSICAL MECHANICS 1

CLUMPS 1

CLUSTER ANALYSIS 1

CODING 1

COMPLETENESS 1

COMPUTER PROGRAMS 1

COORDINATES 1

COVARIANCE 1

Cartesian closed categories 1

Categorical Ontology and the Theory of Levels (COTL) 1

Categorical Ontology of Ultra-complex systems,automata vs. quantum automata and organisms, Categorical Ontology and the Theory of Levels, Relational Biology Principles, What is Life ? and Life's multiple Logics, LM- and Q- Logic, organismic categories, supercategories and relational patterns, Abelian vs. non-Abelian theories, commutativity restrictions in Logic, Mathematics, Physics and Emergent - Dynamic Systems Theory, Lukasiewicz-Moisil Logic algebras of genetic networks and interactomes,Homo sapiens sapiens, the emergence of hominins and hominoides,cognitive science, mental representations and intentionality, logicians and philosophers: Brentano, Harman, Dennett, Field and Fodor' s philosophy of the human mind, Higher Dimensional Algebra (HDA) of the higher-meta-level brain functions, Higher Homotopy-General van Kampen Theorems (HHvKT) in modern Algebraic Topology and Non-Abelian Algebraic Topology (NAAT), non-commutativity of diagrams and non-Abelian theories, Non-Abelian Categorical Ontology, non-commutative topological invariants of complex dynamic state spaces, Natural Transformations in Molecular and Relational Biology, molecular class variables (MCV's, mcv's), the Primordial MR-system Origin of Life on Earth, Archea unicellular organisms, Organismal Evolution--the origins of species' biogroupoid representations, local-to-global procedures models of Organismal Evolution, biogroupoids, variable groupoids, variable categories, variable topology and atlas structures, irreversibility and open systems in Molecular and Statistical Biology/Biostatistics, selective boundaries vs. horizons, super-complex and ultra-complex systems, meta-levels of reality in human consciousness and human society, Global and Local aspects of Biological Evolution, colimits of variable biogroupoids, chains and compositions of local procedures (COLPs) in the Evolution and Co-Evolution of biological and Human species, What is Human Consciousness and Synaesthesia ?, Human Consciousness and its underlying brain dynamics as non-Abelian ultra-complex processes, Emergence of Human Consciousness through Societal Co-Evolution, social interactions 1

Categorical ontology and the theory of levels,formal foundation and relational structure of categorical ontology and emergent complexity theories,ontological essence and universal properties of items, Mathematical categories, groupoids, locally Lie groupoids,groupoid atlas, stacks, fibred categories,Relational Biology Principles, Higher -Homotopy General van Kampen Theorems (HHvKT) and Non-Abelian Algebraic Topology (NAAT) , noncommutativity of diagrams and non-Abelian theories, Non-Abelian Categorical Ontology , noncommutative topological invariants of complex dynamic state spaces, Natural transformations in molecular and relational biology,molecular class variables (mcv) , Natural transformations and the Yoneda-Grothendieck Lemma/construction , variable groupoids, variable categories, Variable Topology and atlas structures, Biomolecular classes and Metabolic-Repair (M-R)-systems 1

Cauchy inequalities 1

Cellular Interactomics 1

Central Limit Theorem 1

Ceva 1

Characteristic roots 1

Mathematics 23

THEOREMS 22

theorem 21

Maths 18

geometry 10

Probability 9

Statistics and Probability 9

angle theorems 8

bell system 8

proof 8

system technical 8

Analysis and Calculus 6

Calculus 6

Statistics 6

heuristic 6

ALGORITHMS 5

Definitions and Theorems 5

Integration Theorems 5

Theorems 5

data base 5

euclidean geometry 5

planner 5

problem solving 5

program 5

Geometry 4

THEOREM PROVING 4

circles 4

control structure 4

data 4

logic theory 4

problem solver 4

Algebra 3

DIFFERENTIAL EQUATIONS 3

FUNCTIONS (MATHEMATICS) 3

Groups 3

Inequalities and Limits Theorems 3

Lagrange and Fermat-Euler�s Theorems 3

Logic, Numbers and Set Theory 3

PROBLEM SOLVING 3

Stokes�s Theorem 3

circle geometry 3

complex 3

corollary 3

formula 3

function 3

heuristics 3

lemma 3

problem 3

procedural abstraction 3

procedure 3

processes 3

prove 3

scanning agent 3

substitution 3

tangent theorems 3

technical journal 3

theorem prover 3

triangle theorems 3

Axioms 2

Bayesian Statistics 2

Bayes� Theorem 2

CLASSIFICATIONS 2

Chebyshev�s Inequality 2

Divergence Theorem 2

Elements 2

Euler 2

Events and Sample Spaces 2

Existence theorems 2

FUNCTION SPACE 2

GEOMETRY 2

Graph Colouring 2

Graph Theory 2

Linear Algebra and Geometry 2

MATRICES (MATHEMATICS) 2

Math 2

Math4Teens 2

Networks 2

OPERATORS (MATHEMATICS) 2

Optimization 2

POLYNOMIALS 2

PROGRAM VERIFICATION (COMPUTERS) 2

PROVING 2

Physics 2

Planimetry 2

Quantum Relational Biology 2

Quaternions 2

TARGETS 2

Tauberian Theorems 2

Theorems of Brooks and Vizing 2

Union and Intersection of Events 2

Unizor 2

VECTORS (MATHEMATICS) 2

adept 2

antecedent theorems 2

assertions 2

assigned 2

backtrack control 2

bicomplete categories 2

chord theorems 2

composition series 2

computability of complex biological systems 2

converse theorems 2

defined 2

equations 2

evaluates 2

expression 2

expressions 2

failure 2

failure backs 2

failure propagates 2

fixed point 2

flow chart 2

formulas 2

gerald jay 2

group theory 2

isetq 2

limit theorems 2

limits and colimits 2

lisp 2

logic 2

logic expressions 2

logic theorist 2

logical class 2

memory 2

nil 2

pattern 2

probability 2

procedural 2

procedures 2

proof procedure 2

proof tree 2

proofs 2

property list 2

quantum computers 2

random variable 2

scanning 2

solving 2

status 2

status pnt 2

status rel 2

subordinate trees 2

sufficient condition 2

table 2

theorem proving 2

theory machine 2

thprog 2

type 2

variable 2

working memory 2

yields 2

(M 1

-R)--systems 1

2- and 3- Connected Graphs 1

AC 1

ACCURACY 1

AEROSPACE VEHICLES 1

ALGEBRA 1

ANALOGIES 1

ANTENNAS 1

ASYMPTOTES 1

ATTITUDE (INCLINATION) 1

Abelian category 1

Absorbed dose 1

Administration and Management 1

Algebraic Complexes 1

Algebraic Topology theorems 1

Allocations 1

Analysis 1

Axioma 1

Axioms for Groups 1

BOLTZMANN TRANSPORT EQUATION 1

BOUNDARIES 1

BOUNDARY VALUE PROBLEMS 1

Bayes Estimates 1

Bibliography 1

Borel 1

Borel�Cantelli Lemmas 1

CARBON DIOXIDE LASERS 1

CAUCHY PROBLEM 1

CERTIFICATION 1

CHOLESKY FACTORIZATION 1

CLASSICAL MECHANICS 1

CLUMPS 1

CLUSTER ANALYSIS 1

CODING 1

COMPLETENESS 1

COMPUTER PROGRAMS 1

COORDINATES 1

COVARIANCE 1

Cartesian closed categories 1

Categorical Ontology and the Theory of Levels (COTL) 1

Categorical Ontology of Ultra-complex systems,automata vs. quantum automata and organisms, Categorical Ontology and the Theory of Levels, Relational Biology Principles, What is Life ? and Life's multiple Logics, LM- and Q- Logic, organismic categories, supercategories and relational patterns, Abelian vs. non-Abelian theories, commutativity restrictions in Logic, Mathematics, Physics and Emergent - Dynamic Systems Theory, Lukasiewicz-Moisil Logic algebras of genetic networks and interactomes,Homo sapiens sapiens, the emergence of hominins and hominoides,cognitive science, mental representations and intentionality, logicians and philosophers: Brentano, Harman, Dennett, Field and Fodor' s philosophy of the human mind, Higher Dimensional Algebra (HDA) of the higher-meta-level brain functions, Higher Homotopy-General van Kampen Theorems (HHvKT) in modern Algebraic Topology and Non-Abelian Algebraic Topology (NAAT), non-commutativity of diagrams and non-Abelian theories, Non-Abelian Categorical Ontology, non-commutative topological invariants of complex dynamic state spaces, Natural Transformations in Molecular and Relational Biology, molecular class variables (MCV's, mcv's), the Primordial MR-system Origin of Life on Earth, Archea unicellular organisms, Organismal Evolution--the origins of species' biogroupoid representations, local-to-global procedures models of Organismal Evolution, biogroupoids, variable groupoids, variable categories, variable topology and atlas structures, irreversibility and open systems in Molecular and Statistical Biology/Biostatistics, selective boundaries vs. horizons, super-complex and ultra-complex systems, meta-levels of reality in human consciousness and human society, Global and Local aspects of Biological Evolution, colimits of variable biogroupoids, chains and compositions of local procedures (COLPs) in the Evolution and Co-Evolution of biological and Human species, What is Human Consciousness and Synaesthesia ?, Human Consciousness and its underlying brain dynamics as non-Abelian ultra-complex processes, Emergence of Human Consciousness through Societal Co-Evolution, social interactions 1

Categorical ontology and the theory of levels,formal foundation and relational structure of categorical ontology and emergent complexity theories,ontological essence and universal properties of items, Mathematical categories, groupoids, locally Lie groupoids,groupoid atlas, stacks, fibred categories,Relational Biology Principles, Higher -Homotopy General van Kampen Theorems (HHvKT) and Non-Abelian Algebraic Topology (NAAT) , noncommutativity of diagrams and non-Abelian theories, Non-Abelian Categorical Ontology , noncommutative topological invariants of complex dynamic state spaces, Natural transformations in molecular and relational biology,molecular class variables (mcv) , Natural transformations and the Yoneda-Grothendieck Lemma/construction , variable groupoids, variable categories, Variable Topology and atlas structures, Biomolecular classes and Metabolic-Repair (M-R)-systems 1

Cauchy inequalities 1

Cellular Interactomics 1

Central Limit Theorem 1

Ceva 1

Characteristic roots 1

nigel simmons 19

dmitry panchenko 5

denis auroux 4

non 3

i.c. baianu, ph.d., with prof. ronald brown and prof. james f. glazebrook 2

phİlosopher efruzhu 2

richard m. dudley 2

zor shekhtman 2

adler, andré bruce 1

albert r. meyer 1

bajaj, chandrajit l 1

belford, geneva g. author 1

brautigam, d. h. 1

bruso, keith alvin. 1

daniel kleitman 1

deming, lola s. 1

desharnais, josee 1

domen, steve r. 1

e.a. maxwell 1

edwin clark 1

dmitry panchenko 5

denis auroux 4

non 3

i.c. baianu, ph.d., with prof. ronald brown and prof. james f. glazebrook 2

phİlosopher efruzhu 2

richard m. dudley 2

zor shekhtman 2

adler, andré bruce 1

albert r. meyer 1

bajaj, chandrajit l 1

belford, geneva g. author 1

brautigam, d. h. 1

bruso, keith alvin. 1

daniel kleitman 1

deming, lola s. 1

desharnais, josee 1

domen, steve r. 1

e.a. maxwell 1

edwin clark 1

The Journal of Research of the National Institute of Standards and Technology

by
Deming, Lola S.

University of Illinois Urbana-Champaign

by
Gear, C. William (Charles William), 1935-

University of Illinois Urbana-Champaign

by
Huffer, Charles M. (Charles Morse), 1894-

Community Media

EFRUZHU Sİ NGLE 1 MULTİ PLE Sİ NGLE 1 UNİ VERSE NORTH CYPRUS TURKİ SH CYPRİ OT ( 28.11.2014 14 52) 2

by
PHİLOSOPHER EFRUZHU

The Journal of Research of the National Institute of Standards and Technology

by
Marcus, Marvin

NASA Technical Documents

by
Truong, Long V.; Wolff, Frederick J.; Dravid, Narayan V

Community Texts

by
I. C. Baianu, editor, with several listed contributors

NASA Technical Documents

by
Pinelli, Thomas E.; Barclay, Rebecca O.; Kennedy, John M

Fetching more results